Factoring stochastic relations
نویسندگان
چکیده
منابع مشابه
Factoring stochastic relations
When a system represented through a stochastic model is observed, the equivalence of behavior is described through the observation that equivalent inputs lead to equivalent outputs. This paper has a look at the systems that arise when the stochastic model is factored through the congruence. Congruences may refine each other, and we show that this refinement is reflected through factoring. We al...
متن کاملPreference Factoring for Stochastic Trees
Stochastic trees are extensions of decision trees which facilitate the modeling of temporal uncertainties. Their primary application has been to medical treatment decisions. It is often convenient to present stochastic trees in factored form, allowing loosely coupled pieces of the model to be formulated and presented separately. In this paper, we show how the notion of factoring can be extended...
متن کاملCategories of Timed Stochastic Relations
Stochastic behavior—the probabilistic evolution of a system in time—is essential to modeling the complexity of real-world systems. It enables realistic performance modeling, quality-of-service guarantees, and especially simulations for biological systems. Languages like the stochastic pi calculus have emerged as effective tools to describe and reason about systems exhibiting stochastic behavior...
متن کاملStochastic Relations Interpreting Modal Logic
We propose an interpretation of modal logic through stochastic relations, providing a probabilistic complement to the usual nondeterministic interpretations using Kripke models. A simple temporal logic and a logic with a countable number of diamonds illustrate the approach. The main technical result of this paper is a probabilistic analogon to the well-known Hennessy-Milner Theorem characterizi...
متن کاملReview on Stochastic Comparison Relations
The report offers an overview of some stochastic simulation and bisimulation relations based on continuous-time Markov chains and on stochastic (possibly Markovian) process algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2004
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2004.02.009